Curzon, Paul : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (74)
Les plus populaires
Liste
- Liste
- Tableau

1

Verification of User Interface Software: The Example of Use-Related Safety Requirements and Programmable Medical Devices

Harrison, Michael D., Masci, Paolo, Campos, Jose Creissac, Curzon, Paul

Journal:

IEEE Transactions on Human-Machine Systems

Année:

2017

Langue:

english

Fichier:

PDF, 357 KB

english, 2017

2

Narrative perspective, person references, and evidentiality in clinical incident reports

Myketiak, Chrystie, Concannon, Shauna, Curzon, Paul

Journal:

Journal of Pragmatics

Année:

2017

Langue:

english

Fichier:

PDF, 259 KB

english, 2017

3

7 Themes for guiding situated ergonomic assessments of medical devices: A case study of an inpatient glucometer

Furniss, Dominic, Masci, Paolo, Curzon, Paul, Mayer, Astrid, Blandford, Ann

Journal:

Applied Ergonomics

Année:

2014

Langue:

english

Fichier:

PDF, 1.27 MB

english, 2014

4

Critical Assessment of Pharmaceutical ProcessesA Rationale for Changing the Synthetic Route

Butters, Mike, Catterick, David, Craig, Andrew, Curzons, Alan, Dale, David, Gillmore, Adam, Green, Stuart P., Marziano, Ivan, Sherlock, Jon-Paul, White, Wesley

Journal:

Chemical Reviews

Année:

2006

Langue:

english

Fichier:

PDF, 1.01 MB

english, 2006

5

Green chemistry measures for process research and development

Constable, David J. C., Curzons, Alan D., Freitas dos Santos, Luisa M., Geen, Graham R., Kitteringham, John, Smith, Paul, Hannah, Robert E., McGuire, Michael A., Webb, R. Lee, Yu, Marvin, Hayler, John

Journal:

Green Chemistry

Année:

2001

Langue:

english

Fichier:

PDF, 443 KB

english, 2001

6

The benefits of formalising design guidelines: a case study on the predictability of drug infusion pumps

Masci, Paolo, Rukšėnas, Rimvydas, Oladimeji, Patrick, Cauchi, Abigail, Gimblett, Andy, Li, Yunqiu, Curzon, Paul, Thimbleby, Harold

Journal:

Innovations in Systems and Software Engineering

Année:

2015

Langue:

english

Fichier:

PDF, 464 KB

english, 2015

7

Exploring medical device design and use through layers of Distributed Cognition: How a glucometer is coupled with its context

Furniss, Dominic, Masci, Paolo, Curzon, Paul, Mayer, Astrid, Blandford, Ann

Journal:

Journal of Biomedical Informatics

Année:

2015

Langue:

english

Fichier:

PDF, 771 KB

english, 2015

8

[ACM Press the 2011 annual conference - Vancouver, BC, Canada (2011.05.07-2011.05.12)] Proceedings of the 2011 annual conference on Human factors in computing systems - CHI '11 - Confessions from a grounded theory PhD

Furniss, Dominic, Blandford, Ann, Curzon, Paul

Année:

2011

Langue:

english

Fichier:

PDF, 813 KB

english, 2011

9

Using FRAM beyond safety: a case study to explore how sociotechnical systems can flourish or stall

Furniss, Dominic, Curzon, Paul, Blandford, Ann

Journal:

Theoretical Issues in Ergonomics Science

Année:

2016

Langue:

english

Fichier:

PDF, 1.87 MB

english, 2016

10

Computational Thinking (Des Welt des algorithmischen Denkens – in Spielen, Zaubertricks und Rätseln) || Sprechen aus der Taucherglocke

Curzon, Paul, McOwan, Peter W.

Année:

2018

Langue:

german

Fichier:

PDF, 599 KB

german, 2018

11

Computational Thinking (Des Welt des algorithmischen Denkens – in Spielen, Zaubertricks und Rätseln) || Was also ist Computational Thinking?

Curzon, Paul, McOwan, Peter W.

Année:

2018

Langue:

german

Fichier:

PDF, 201 KB

german, 2018

12

Hybrid verification integrating HOL theorem proving with MDG model checking

Rabeb Mizouni, Sofiène Tahar, Paul Curzon

Journal:

Microelectronics Journal

Année:

2006

Langue:

english

Fichier:

PDF, 231 KB

english, 2006

13

Preface

Antonio Cerone, Paul Curzon

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2007

Langue:

english

Fichier:

PDF, 105 KB

english, 2007

14

Deriving correctness properties of compiled code

Journal:

Formal Methods in System Design

Année:

1993

Langue:

english

Fichier:

PDF, 1.81 MB

english, 1993

15

An approach to formal verification of human–computer interaction

Paul Curzon, Rimvydas Rukšėnas, Ann Blandford

Journal:

Formal Aspects of Computing

Année:

2007

Langue:

english

Fichier:

PDF, 666 KB

english, 2007

16

Editorial

Antonio Cerone, Paul Curzon, David Duce

Journal:

Formal Aspects of Computing

Année:

2009

Langue:

english

Fichier:

PDF, 46 KB

english, 2009

17

Verification-guided modelling of salience and cognitive load

Rimvydas Rukšėnas, Jonathan Back, Paul Curzon, Ann Blandford

Journal:

Formal Aspects of Computing

Année:

2009

Langue:

english

Fichier:

PDF, 1.09 MB

english, 2009

18

Hierarchical formal verification using a hybrid tool

Skander Kort, Sofiène Tahar, Paul Curzon

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Année:

2003

Langue:

english

Fichier:

PDF, 190 KB

english, 2003

19

Providing a formal linkage between MDG and HOL

Haiyan Xiong, Paul Curzon, Sofiène Tahar, Ann Blandford

Journal:

Formal Methods in System Design

Année:

2007

Langue:

english

Fichier:

PDF, 547 KB

english, 2007

20

Formal methods for interactive systems

Antonio Cerone, Paul Curzon

Journal:

Innovations in Systems and Software Engineering

Année:

2008

Langue:

english

Fichier:

PDF, 71 KB

english, 2008

21

Modelling and analysing cognitive causes of security breaches

Rimvydas Rukšėnas, Paul Curzon, Ann Blandford

Journal:

Innovations in Systems and Software Engineering

Année:

2008

Langue:

english

Fichier:

PDF, 425 KB

english, 2008

22

Preface

Antonio Cerone, Paul Curzon

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2008

Langue:

english

Fichier:

PDF, 102 KB

english, 2008

23

Models of interactive systems: a case study on programmable user modelling

Ann Blandford, Richard Butterworth, Paul Curzon

Journal:

International Journal of Human-Computer Studies

Année:

2004

Langue:

english

Fichier:

PDF, 521 KB

english, 2004

24

Successful strategies of older people for finding information

Paul Curzon, Judy Wilson, Gill Whitney

Journal:

Interacting with Computers

Année:

2005

Langue:

english

Fichier:

PDF, 108 KB

english, 2005

25

Extracellular Neuroactive Amino Acids in the Rat Striatum During Ischaemia: Comparison Between Penumbral Conditions and Ischaemia with Sustained Anoxic Depolarisation

Tihomir Paul Obrenovitch, Jutta Urenjak, Douglas Arthur Richards, Yukihiko Ueda, Gerald Curzon, Lindsay Symon

Journal:

Journal of Neurochemistry

Année:

1993

Langue:

english

Fichier:

PDF, 893 KB

english, 1993

26

Preclinical Characterization of A-582941: A Novel α7 Neuronal Nicotinic Receptor Agonist with Broad Spectrum Cognition-Enhancing Properties

Karin R. Tietje, David J. Anderson, R. Scott Bitner, Eric A. Blomme, Paul J. Brackemeyer, Clark A. Briggs, Kaitlin E. Browman, Dagmar Bury, Peter Curzon, Karla U. Drescher, Jennifer M. Frost, Ryan M.

Journal:

CNS Neuroscience & Therapeutics

Année:

2008

Langue:

english

Fichier:

PDF, 413 KB

english, 2008

27

In vitro and in vivo effects of an α3 neuronal nicotinic acetylcholine receptor antisense oligonucleotide

Monique R. Adams, Arthur L. Nikkel, Diana L. Donnelly-Roberts, Andrew T. Watt, Joseph F. Johnston, Lex M. Cowsert, Mandeline Butler, Paul E. Kroeger, Leigh Frost, Peter Curzon, Michael W. Decker, Robe

Journal:

Molecular Brain Research

Année:

2004

Langue:

english

Fichier:

PDF, 1.52 MB

english, 2004

28

Using PVS to support the analysis of distributed cognition systems

Masci, Paolo, Curzon, Paul, Furniss, Dominic, Blandford, Ann

Journal:

Innovations in Systems and Software Engineering

Année:

2015

Langue:

english

Fichier:

PDF, 361 KB

english, 2015

29

THE INSPECTION OF WATER-SUPPLIES.

Sneed, George M., Curzon, Matthew J., Duncan, Lisa D., Branca, Paul

Journal:

Année:

1898

Langue:

english

Fichier:

PDF, 198 KB

english, 1898

30

Cell Block Preparation for Transbronchial Fine Needle Aspiration Cases Generates Adequate Tissue for Ancillary Testing

Sneed, George M., Curzon, Matthew J., Duncan, Lisa D., Branca, Paul

Journal:

Journal of the American Society of Cytopathology

Année:

2013

Langue:

english

Fichier:

PDF, 589 KB

english, 2013

31

Combining human error verification and timing analysis: a case study on an infusion pump

Rukšėnas, Rimvydas, Curzon, Paul, Blandford, Ann, Back, Jonathan

Journal:

Formal Aspects of Computing

Année:

2014

Langue:

english

Fichier:

PDF, 979 KB

english, 2014

32

[IEEE 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods - Cape Town, South Africa (2008.11.10-2008.11.14)] 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods - Modelling Rational User Behaviour as Games between an Angel and a Demon

Rukenas, Rimvydas, Curzon, Paul, Blandford, Ann

Année:

2008

Langue:

english

Fichier:

PDF, 312 KB

english, 2008

33

[IEEE 2014 IEEE 38th International Computer Software and Applications Conference Workshops (COMPSACW) - Vasteras, Sweden (2014.7.21-2014.7.25)] 2014 IEEE 38th International Computer Software and Applications Conference Workshops - A Socio-technical Methodology for the Security and Privacy Analysis of Services

Bella, Giampaolo, Curzon, Paul, Giustolisi, Rosario, Lenzini, Gabriele

Année:

2014

Langue:

english

Fichier:

PDF, 169 KB

english, 2014

34

NOTES

CLARK, B. E. G., CURZON, MONTAGU, QUINN, PAUL, SCHLEIHAUF, WILLIAM, BROWN, SIDNEY, WELCH, JOHN C.

Journal:

The Mariner's Mirror

Année:

2004

Langue:

english

Fichier:

PDF, 5.70 MB

english, 2004

35

[ACM Press the 5th ACM SIGCHI symposium - London, United Kingdom (2013.06.24-2013.06.27)] Proceedings of the 5th ACM SIGCHI symposium on Engineering interactive computing systems - EICS '13 - Verification of interactive software for medical devices

Masci, Paolo, Ayoub, Anaheed, Curzon, Paul, Harrison, Michael D., Lee, Insup, Thimbleby, Harold

Année:

2013

Langue:

english

Fichier:

PDF, 499 KB

english, 2013

36

Computational thinking (CT)

Curzon, Paul, Peckham, Joan, Taylor, Harriet, Settle, Amber, Roberts, Eric

Journal:

ACM SIGCSE Bulletin

Année:

2009

Langue:

english

Fichier:

PDF, 386 KB

english, 2009

37

Exploring older women's confidence during route planning

Wilson, Judy, Curzon, Paul, Duncker, Elke

Journal:

Behaviour & Information Technology

Année:

2015

Langue:

english

Fichier:

PDF, 449 KB

english, 2015

38

[ACM Press the 12th annual SIGCSE conference - Dundee, Scotland (2007.06.25-2007.06.27)] Proceedings of the 12th annual SIGCSE conference on Innovation and technology in computer science education - ITiCSE '07 - Serious fun in computer science

Année:

2007

Langue:

english

Fichier:

PDF, 146 KB

english, 2007

39

[ACM Press the 14th European conference - London, United Kingdom (2007.08.28-2007.08.31)] Proceedings of the 14th European conference on Cognitive ergonomics invent! explore! - ECCE '07 - Slip errors and cue salience

Back, Jonathan, Blandford, Ann, Curzon, Paul

Année:

2007

Langue:

english

Fichier:

PDF, 200 KB

english, 2007

40

[ACM Press the 13th annual conference - Madrid, Spain (2008.06.30-2008.07.02)] Proceedings of the 13th annual conference on Innovation and technology in computer science education - ITiCSE '08 - Engaging with computer science through magic shows

Curzon, Paul, McOwan, Peter W.

Année:

2008

Langue:

english

Fichier:

PDF, 259 KB

english, 2008

41

[ACM Press the 14th annual ACM SIGCSE conference - Paris, France (2009.07.06-2009.07.09)] Proceedings of the 14th annual ACM SIGCSE conference on Innovation and technology in computer science education - ITiCSE '09 - Enthusing & inspiring with reusable kinaesthetic activities

Curzon, Paul, McOwan, Peter W., Cutts, Quintin I., Bell, Tim

Année:

2009

Langue:

english

Fichier:

PDF, 401 KB

english, 2009

42

Serious fun in computer science

Journal:

ACM SIGCSE Bulletin

Année:

2007

Langue:

english

Fichier:

PDF, 146 KB

english, 2007

43

Enthusing & inspiring with reusable kinaesthetic activities

Curzon, Paul, McOwan, Peter W., Cutts, Quintin I., Bell, Tim

Journal:

ACM SIGCSE Bulletin

Année:

2009

Langue:

english

Fichier:

PDF, 401 KB

english, 2009

44

[ACM Press the 14th annual ACM SIGCSE conference - Paris, France (2009.07.06-2009.07.09)] Proceedings of the 14th annual ACM SIGCSE conference on Innovation and technology in computer science education - ITiCSE '09 - Computational thinking (CT)

Curzon, Paul, Peckham, Joan, Taylor, Harriet, Settle, Amber, Roberts, Eric

Année:

2009

Langue:

english

Fichier:

PDF, 386 KB

english, 2009

45

[ACM Press the thirteenth annual ACM symposium - Los Angeles, California, United States (1994.08.14-1994.08.17)] Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing - PODC '94 - The formal verification of an ATM network

Année:

1994

Langue:

english

Fichier:

PDF, 100 KB

english, 1994

46

[ACM Press the 16th annual joint conference - Darmstadt, Germany (2011.06.27-2011.06.29)] Proceedings of the 16th annual joint conference on Innovation and technology in computer science education - ITiCSE '11 - A study in engaging female students in computer science using role models

Black, Jonathan, Curzon, Paul, Myketiak, Chrystie, McOwan, Peter W.

Année:

2011

Langue:

english

Fichier:

PDF, 433 KB

english, 2011

47

[ACM Press the 16th annual joint conference - Darmstadt, Germany (2011.06.27-2011.06.29)] Proceedings of the 16th annual joint conference on Innovation and technology in computer science education - ITiCSE '11 - Introducing students to computer science with programmes that don't emphasise programming

Bell, Tim, Curzon, Paul, Cutts, Quintin, Dagiene, Valentina, Haberman, Bruria

Année:

2011

Langue:

english

Fichier:

PDF, 385 KB

english, 2011

48

[ACM Press the 6th annual conference on the teaching of computing and the 3rd annual conference - Dublin City Univ., Ireland (1998.08.18-1998.08.21)] Proceedings of the 6th annual conference on the teaching of computing and the 3rd annual conference on Integrating technology into computer science education Changing the delivery of computer science education - ITiCSE '98 - Why do students take programming modules?

Curzon, Paul, Rix, Janet

Année:

1998

Langue:

english

Fichier:

PDF, 545 KB

english, 1998

49

[ACM Press the 14th European conference - London, United Kingdom (2007.08.28-2007.08.31)] Proceedings of the 14th European conference on Cognitive ergonomics invent! explore! - ECCE '07 - Usability evaluation methods in practice

Furniss, Dominic, Blandford, Ann, Curzon, Paul

Année:

2007

Langue:

english

Fichier:

PDF, 111 KB

english, 2007

50

[ACM Press the 17th ACM annual conference - Haifa, Israel (2012.07.03-2012.07.05)] Proceedings of the 17th ACM annual conference on Innovation and technology in computer science education - ITiCSE '12 - cs4fn

Myketiak, Chrystie, Curzon, Paul, Black, Jonathan, McOwan, Peter W., Meagher, Laura R.

Année:

2012

Langue:

english

Fichier:

PDF, 465 KB

english, 2012